21. AI approaches to the complexity of legal systems :
پدیدآورنده : Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
K213
22. AI*IA 2018 -- advances in artificial intelligence :
پدیدآورنده : Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q334
23. Acting and Reflecting :
پدیدآورنده : edited by Wilfried Sieg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
24. Advanced Computational Methods for Knowledge Engineering : Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015.
پدیدآورنده : Le Thi, Hoai An
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Artificial intelligence,، Engineering
رده :
Q
335
.
A7853
2015
25. Advanced concepts for intelligent vision systems :
پدیدآورنده : Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
26. Advanced data analytics in health /
پدیدآورنده : Philippe J. Giabbanelli, Vijay K. Mago, Elpiniki I. Papageorgiou, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Big data.,Medical care-- Data processing.,Medical informatics.,Artificial intelligence.,Big data.,Business mathematics & systems.,Health & safety aspects of IT.,Medical care-- Data processing.,Medical equipment & techniques.,Medical informatics.,POLITICAL SCIENCE-- Public Policy-- Social Security.,POLITICAL SCIENCE-- Public Policy-- Social Services & Welfare.
رده :
R858
27. Advances in Computational Intelligence :
پدیدآورنده : Ignacio Rojas, Gonzalo Joya, Andreu Catala (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Neural networks (Computer science), Congresses.,Neural networks (Neurobiology), Congresses.,Artificial intelligence.,Bioinformatics.,Computer security.,Computer software.,Computer vision.
رده :
QA76
.
87
.
I588
2019
28. Advances in Computing, Communication, and Control :
پدیدآورنده : edited by Srija Unnikrishnan, Sunil Surve, Deepak Bhoir.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Computer software.
رده :
QA75
.
5
E358
2013
29. Advances in Intelligent Systems and Applications- Volume 1
پدیدآورنده : edited by Chang, Ruay-Shiung.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.
رده :
Q335
.
E358
2013
30. Advances in Stochastic Modelling and Data Analysis
پدیدآورنده : edited by Jacques Janssen, Christos H. Skiadas, Constantin Zopounidis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Distribution (Probability theory),Mathematics.
رده :
HB135
.
E358
1995
31. Advances in Verification of Time Petri Nets and Timed Automata :
پدیدآورنده : by Wojciech Penczek, Agata Pólrola.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.
رده :
QA267
.
B996
2006
32. Advances in Verification of Time Petri Nets and Timed Automata :
پدیدآورنده : by Wojciech Penczek, Agata Pólrola.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.
33. Advances in aeronautical informatics :
پدیدآورنده : Umut Durak, Jürgen Becker, Sven Hartmann, Nikolaos S. Voros, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Aeronautics.,Airplanes-- Electronic equipment.,Airplanes-- Technological innovations.,Aeronautics.,Aerospace & aviation technology.,Airplanes-- Electronic equipment.,Airplanes-- Technological innovations.,Artificial intelligence.,Business mathematics & systems.,Information retrieval.,Network hardware.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
TL545
34. Advances in bioinformatics and computational biology :
پدیدآورنده : Ronnie Alves (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.
رده :
QH324
.
2
35. Advances in evolutionary and deterministic methods for design, optimization and control in engineering and sciences /
پدیدآورنده : Edmondo Minisci, Massimiliano Vasile, Jacques Periaux, Nicolas R. Gauger, Kyriakos C. Giannakoglou, Domenico Quagliarella, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering design-- Mathematical models, Congresses.,Mathematical optimization, Congresses.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Engineering design-- Mathematical models.,Mathematical optimization.,Mathematics-- Counting & Numeration.,Numerical analysis.,Technical design.,Technology & Engineering-- Industrial Design-- Product.
رده :
QA402
.
5
36. Advances in intelligent datd analysis: third international symposium; proceedings
پدیدآورنده : IDA-99; Amsterdam, the netherlands, August 9-11, 1999
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Computer science - Mathematics,Artificial intelligence - Computer system
رده :
QA
,
7609
,.
M35
,
1999
37. Advances in intelligent systems
پدیدآورنده : edited by F. C. Morabito
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Artificial intelligence- Mathematics
رده :
Q
335
.
A38
1997
38. Advances in machine learning and data science :
پدیدآورنده : Damodar Reddy Edla, Pawan Lingras, Venkatanareshbabu K., editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Machine learning, Congresses.,Artificial intelligence.,Business mathematics & systems.,COMPUTERS-- General.,Data mining.,Databases.,Machine learning.
رده :
Q325
.
5
39. Advances in multi-objective nature inspired computing
پدیدآورنده : / Carlos A. Coello Coelle, Clarisse Dhaenens, and Laetitia Jourdan (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Combinatorial optimization,Natural computation,Artificial Intelligence (incl. Robotics),Appl. Mathematics/Computational Methods of Engineering
رده :
QA402
.
5
.
A383
2010
40. Alan M. Turing /
پدیدآورنده : Sara Turing ; with a foreword by Martin Davis and an afterword by John Turing
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Turing, Alan,1912-1954,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
T8
2012
